Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of being (...) true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

ArgumentIn the United States, scientific knowledge is brought before the courts by way of testimony – the testimony of scientific experts. We argue that this expertise is best understoodfirstas related to the quality of the underlying scienceand thenin terms of who delivers it. Bloodstain pattern analysis (BPA), a contemporary forensic science, serves as the vaulting point for our exploration of objectivity as a metric for the quality of a science in judicial contexts. We argue that BPA fails to meet the (...) minimal standard set by Helen Longino’s social-procedural account of objectivity (1990, 2002). In light of some pressing issues for social-procedural accounts, we offer an infrastructural account of objectivity. This account offers what amounts to a friendly amendment to Longino’s account and adds to the ways in which we might analyze social-procedural objectivity. Finally, we address an issue that is pressing in the legal context: given that scientific knowledge is delivered by individuals, not communities, at least in U.S. courts, we (may) need a way to evaluate individual scientific and epistemic agents. We suggest a means for making this evaluation that is derived from our infrastructural account of objectivity. (shrink)

According to standard late medieval Christian thought, humans in heaven are unable to sin, having been “confirmed” in their goodness; and, nevertheless, are more free than humans are in the present life. The rise of voluntarist conceptions of the will in the late thirteenth century made it increasingly difficult to hold onto both claims. Peter Olivi suggested that the impeccability of the blessed was dependent upon a special activity of God upon their wills and argued that this external constraint upon (...) their wills did not eliminate their freedom. Later voluntarists largely agreed with Olivi in attributing the confirmation of the blessed to be dependent upon God’s activity in some way, but disputed the means by which and the extent to which the wills of those in heaven could be said to retain their freedom. This paper will examine various attempts made to either harmonize these two claims or else to soften the blow of rejecting one of them; among the authors surveyed will be Peter John Olivi, John Duns Scotus, Henry of Harclay, William of Ockham, Walter Chatton, and Margurite Porete. (shrink)

An overview of debates in ethical theory within Christian Scholasticism in the decades after Thomas Aquinas.

Einer der traditionell gegen den Utilitarismus erhobenen Vorwürfe besagt, Utilitarismus sei mit der Konzeption unveräußerlicher Individualrechte unvereinbar, er könne die Menschenrechte entweder nicht begründen oder schlösse deren Gebotensein schlicht aus. Der Berechtigung dieser Behauptung wird zuerst bei den klassischen Utilitaristen Jeremy Bentham und John Stuart Mill nachgegangen. Der Einwand von Bernhard Williams gegen den Utilitarismus, er würdige den Wert von Integrität der Persönlichkeit nicht, wird anhand seines von ihm selbst gebotenen Beispiels erwogen. Unter den nicht-klassischen Utilitarismen wird die (...) Theorie von Rainer W. Trapp auf ihre Vereinbarkeit mit unveräußerlichen Rechten geprüft. Das Resümee ist uneindeutig: Nicht alle Utilitarismen schließen die Rechtsinhalte unveräußerlicher Individualrechte aus. Nicht alle der uns heute bekannten und als unveräußerlich postulierten Individualrechte lassen sich inhaltlich utilitaristisch begründen. Im Paralipomenon wird das Verhältnis der utilitaristischen Methode zu moralischen Intuitionen überdacht und ein weiterer Einwand Bernard Williams gegen den Utilitarismus geprüft: Ist der Utilitarismus konformistisch? Ein Plädoyer für einen freiheitlichen Utilitarismus in der Tradition Mills bildet den Abschluss. -/- 1. Klassischer Utilitarismus und unveräußerliche Individualrechte / 1.1. Jeremy Bentham (1748–1832): Utilitarismus im Sicherheitsinteresse der Gemeinschaft / 1.2. John Stuart Mill (1806–1873): Utilitarismus der Freiheit als Lebenskunst der Individuen / 2. Zu Bernard Williams` Utilitarismus-Kritik: Integrität oder „Hier steh` ich und ich kann nicht anders!“ / 2.1. Das Jim-Pedro-Beispiel / 2.2. Negative Verantwortlichkeit: „Verhindere das größere Übel!“ / 3. Nicht-klassischer Utilitarismus und unveräusserliche Individualrechte / 3.1. Rainer W. Trapp: Gerechtigkeitsutilitarismus / 3.2. Utilitaristen und deontologische Rigoristen / 4. Resümee: Utilitarismus und unveräusserliche Individualrechte - 5. Paralipomenon: Plädoyer für Utilitarismus als Lebenskunst / 5.1. Ist der Utilitarismus konformistisch? / 5.2. Utilitarismus im Sinne John Stuart Mills als freiheitliche Lebenskunst, als „Art of Life“. (shrink)

In this paper, I explore a possible convergence between two great twentieth century thinkers, Nishida Kitarō of Japan and Martin Heidegger of Germany. The focus is on the quasi-religious language they employ in discussing the grounding of human existence in terms of an encompassing Wherein for our being. Heidegger speaks of “the sacred” and “the passing of the last god” that mark an empty clearing wherein all metaphysical absolutes or gods have withdrawn but are simultaneously indicative of an opening wherein (...) beings are given. Nishida speaks of “the religious” dimension in the depths of one's being, that he calls “place,” and that somehow envelops the world through its kenotic self-negation. In both we find reference to a kind of originary space—the open or place—associated with quasireligious themes. I also point to their distinct approaches to metaphysical language in their attempts to give voice to that abysmal thought. (shrink)

This paper explores the question of whether the United Nations should engage in preventive military actions. Correlatively, it asks whether UN preventive military actions could satisfy just war principles. Rather than from the standpoint of the individual nation state, the ethics of preventive war is discussed from the standpoint of the UN. For the sake of brevity, only the legitimate authority, just cause, last resort, and proportionality principles are considered. Since there has been disagreement about the specific content of these (...) principles, a third question also is explored: How should they be formulated? Moreover, these questions are addressed in the context of a particular issue: the goals of the non-proliferation and the abolition of weapons of mass destruction. (shrink)

What minimal role—if any—must consciousness of morally significant information play in an account of moral worth? According to one popular view, a right action is morally worthy only if the agent is conscious (in some sense) of the facts that make it right. I argue against this consciousness condition and close cousins of it. As I show, consciousness of such facts requires much more sophistication than writers typically suggest—this condition would bar from moral worth most ordinary, intuitively morally worthy agents. (...) Moreover, I show that the attraction to this flavor of consciousness condition rests on mistaken assumptions about what is required for a right act to be non-accidentally right and attributable to the agent. Drawing some lessons from the discussion, I defend a Value-Secured Reliability Theory of Moral Worth and show how a minimal yet indispensable role for consciousness falls out from it. On this independently plausible theory, an action can be morally worthy even when the agent is unaware of the right-making features of her action. (shrink)

In Social Imaginaries, vol. 1, nr. 1 (Spring 2015) due out in May 2015.

This paper investigates the meaning of the neo-Confucian concept of 'li'. From early on, it has the sense of a pattern designating how things are and ought to be. But it takes on the appearance of something transcendent to the world only at a certain point in history, when it becomes juxtaposed to 'qi'. Zhu Xi has been criticized for this 'li-qi' dichotomization and the transcendentalization of 'li'. The paper re-examines this putative dualism and transcendentalism, looking into both Zhu's discussions (...) and pre- and post-Zhu discussions of 'li', and concludes it to be an inter-connective threading immanent to the world. (shrink)

This paper discusses the idea of "pure experience" within the context of the Buddhist tradition and in connection with the notions of emptiness and dependent origination via a reading of Dale Wright's reading of 'Huangbo' in his 'Philosophical Meditations on Zen Buddhism'. The purpose is to appropriate Wright's text in order to engender a response to Steven Katz's contextualist-constructivist thesis that there are no "pure" (i.e., unmediated) experiences. In light of the Mahayana claim that everything is empty of substance, i.e., (...) originates dependently through conditions, contingencies, and contexts, what does the "purity" of the Enlightenment experience mean for Chan/Zen Buddhism? (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

I examine the role of the imagination (Einbildung) for Martin Heidegger after his Kant-reading of 1929. In 1929 he broadens the imagination to the openness of Dasein. But after 1930 Heidegger either disparages it as a representational faculty belonging to modernity; or further develops and clarifies its ontological broadening as the clearing or poiesis. If the hylo-morphic duality implied by Kantian imagination requires a prior unity, that underlying power unfolding beings in aletheic formations (poiesis) of being (the happening of being, (...) the opening of the world) would have to ultimately be in excess to any spontaneous power of subjectivity. (shrink)

Imaginative resistance (IR) is rejecting a claim that is true within a fictional world. Accounts that describe IR hold that readers exit a fiction at points of resistance. But if resistance entails exiting a fiction, then learning morality from fiction doesn’t occur. But moral learning from fiction does occur; some such cases are instances of accepting a norm one first denied. I amend current solutions to IR with poetic license. The more poetic license granted a work, the more flexible one (...) is regarding perceived falsehoods. Instead of exiting the fiction, one has the chance to stay engaged and possibly learn norms she previously denied. (shrink)

Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis (...) of Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa. (shrink)

: Two major philosophers of the twentieth century, the German existential phenomenologist Martin Heidegger and the seminal Japanese Kyoto School philosopher Nishida Kitarō are examined here in an attempt to discern to what extent their ideas may converge. Both are viewed as expressing, each through the lens of his own tradition, a world in transition with the rise of modernity in the West and its subsequent globalization. The popularity of Heidegger's thought among Japanese philosophers, despite its own admitted limitation to (...) the Western "history of being," is connected to Nishida's opening of a uniquely Japanese path in its confrontation with Western philosophy. The focus is primarily on their later works (the post-Kehre Heidegger and the works of Nishida that have been designated "Nishida philosophy"), in which each in his own way attempts to overcome the subject-object dichotomy inherited from the tradition of Western metaphysics by looking to a deeper structure from out of which both subjectivity and objectivity are derived and which embraces both. For Heidegger, the answer lies in being as the opening of unconcealment, from out of which beings emerge, and for Nishida, it is the place of nothingness within which beings are co-determined in their oppositions and relations. Concepts such as Nishida's "discontinuous continuity," "absolutely self-contradictory identity" (between one and many, whole and part, world and things), the mutual interdependence of individuals, and the self-determination of the world through the co-relative self-determination of individuals, and Heidegger's "simultaneity" (zugleich) and "within one another" (ineinander) (of unconcealment and concealment, presencing and absencing), and their "between" (Zwischen) and "jointure" (Fuge) are examined. Through a discussion of these ideas, the suggestion is made of a possible "transition" (Übergang) of both Western and Eastern thinking, in their mutual encounter, both in relation to each other and each in relation to its own past history, leading to both a self-discovery in the other and to a simultaneous self-reconstitution. (shrink)

The representational theory of phenomenal experience is often stated in terms of a supervenience thesis: Byrne recently characterises it as the thesis that “there can be no difference in phenomenal character without a difference in content”, while according to Tye, “[a]t a minimum, the thesis is one of supervenience: necessarily, experiences that are alike in their representational contents are alike in their phenomenal character.” Consequently, much of the debate over whether representationalism is true centres on purported counter-examples – that is (...) to say, purported failures of supervenience. The refutation of putative counter-examples has been, it seems to me, by and large successful. But there is a certain class of these for which the representationalist response has been something less than completely convincing. These are the cross-modality cases. I will explain what I mean, and then argue that the response in question is not only unconvincing but actually undermines the representationalist position. (shrink)

JOHN CORCORAN AND WILIAM FRANK. Surprises in logic. Bulletin of Symbolic Logic. 19 253. Some people, not just beginning students, are at first surprised to learn that the proposition “If zero is odd, then zero is not odd” is not self-contradictory. Some people are surprised to find out that there are logically equivalent false universal propositions that have no counterexamples in common, i. e., that no counterexample for one is a counterexample for the other. Some people would be surprised (...) to find out that in normal first-order logic existential import is quite common: some universals “Everything that is S is P” —actually quite a few—imply their corresponding existentials “Something that is S is P”. Anyway, perhaps contrary to its title, this paper is not a cataloging of surprises in logic but rather about the mistakes that did or might have or might still lead people to think that there are no surprises in logic. The paper cataloging of surprises in logic is on our “to-do” list. -/- ► JOHN CORCORAN AND WILIAM FRANK, Surprises in logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] There are many surprises in logic. Peirce gave us a few. Russell gave Frege one. Löwenheim gave Zermelo one. Gödel gave some to Hilbert. Tarski gave us several. When we get a surprise, we are often delighted, puzzled, or skeptical. Sometimes we feel or say “Nice!”, “Wow, I didn’t know that!”, “Is that so?”, or the like. Every surprise belongs to someone. There are no disembodied surprises. Saying there are surprises in logic means that logicians experience surprises doing logic—not that among logical propositions some are intrinsically or objectively “surprising”. The expression “That isn’t surprising” often denigrates logical results. Logicians often aim for surprises. In fact, [1] argues that logic’s potential for surprises helps motivate its study and, indeed, helps justify logic’s existence as a discipline. Besides big surprises that change logicians’ perspectives, the logician’s daily life brings little surprises, e.g. that Gödel’s induction axiom alone implies Robinson’s axiom. Sometimes wild guesses succeed. Sometimes promising ideas fail. Perhaps one of the least surprising things about logic is that it is full of surprises. Against the above is Wittgenstein’s surprising conclusion : “Hence there can never be surprises in logic”. This paper unearths basic mistakes in [2] that might help to explain how Wittgenstein arrived at his false conclusion and why he never caught it. The mistakes include: unawareness that surprise is personal, confusing logicians having certainty with propositions having logical necessity, confusing definitions with criteria, and thinking that facts demonstrate truths. People demonstrate truths using their deductive know-how and their knowledge of facts: facts per se are epistemically inert. [1] JOHN CORCORAN, Hidden consequence and hidden independence. This Bulletin, vol.16, p. 443. [2] LUDWIG WITTGENSTEIN, Tractatus Logico-Philosophicus, Kegan Paul, London, 1921. -/-. (shrink)

Cosmic Justice Hypotheses. -/- This applied-logic lecture builds on [1] arguing that character traits fostered by logic serve clarity and understanding in ethics, confirming hopeful views of Alfred Tarski [2, Preface, and personal communication]. Hypotheses in one strict usage are propositions not known to be true and not known to be false or—more loosely—propositions so considered for discussion purposes [1, p. 38]. Logic studies hypotheses by determining their implications (propositions they imply) and their implicants (propositions that imply them). Logic also (...) studies hypotheses by seeing how variations affect implications and implicants. People versed in logical methods are more inclined to enjoy working with hypotheses and less inclined to dismiss them or to accept them without sufficient evidence. Cosmic Justice Hypotheses (CJHs), such as “in the fullness of time every act will be rewarded or punished in exact proportion to its goodness or badness”, have been entertained by intelligent thinkers. Absolute CJHs, ACHJs, imply that it is pointless to make sacrifices, make pilgrimages, or ask divine forgiveness: once acts are done, doers must ready themselves for the inevitable payback, since the cosmos works inexorably toward justice. Ceteris Paribus CJHs, CPCJHs, on the other hand, such as “in the fullness of time every act will be rewarded or punished in exact proportion to its goodness or badness—other things being equal”, leave room for exceptions. For example, some people subscribing to Ceteris Paribus CJHs think that certain bad acts can be performed with impunity as long as certain procedures are carried out previous to, or simultaneous with, or even after the acts. Belief Ceteris Paribus CJHs has been exploited by unscrupulous “spiritual leaders” who claim to have power to grant exceptions. In opposition to belief in CPCJHs are CJHs that hold belief in CPCJHs to be inherently wrong and subject to punishment. Other variants of CJHs are Cumulative Cosmic Justice Hypotheses, such as “in the fullness of time every person will be rewarded or punished in exact proportion to the net goodness or badness of their acts”. Still other variants include the Hereditary Cumulative Cosmic Justice Hypotheses, such as “in the fullness of time every person will be rewarded or punished in exact proportion to the net goodness or badness of their ancestors’ acts”. [1] JOHN CORCORAN, Inseparability of Logic and Ethics, Free Inquiry, S. 1989, pp. 37–40. [2] ALFRED TARSKI, Introduction to Logic, Dover, 1995. (shrink)

The following essay, “The Unsolved Issue of Consciousness” (Torinokosaretaru ishiki no mondai 取残されたる意識の問題), by Nishida Kitarō 西田幾多郎 from 1927 is significant in regard to the development of what has come to be called “Nishida philosophy” (Nishida tetsugaku 西田哲学). In what follows, in addition to providing some commentary on the important points of his essay, I would like to show its relevance or significance not only for those who would like to study Nishida’s thought but also for philosophy in general, especially (...) in the contemporary setting. It was first published in 1927 by Iwanami Publishers in a collection of essays by different authors, Philosophical Essays in Commemoration of the Sixtieth Birthday of Dr. .. (shrink)

Catalan translation, introductory study and notes on W. K. Clifford’s “The Ethics of Belief”. Published in Clifford, W.K. “L’ètica de la creença”. Quaderns de Filosofia, vol. III, n. 2 (2016), pp. 129–150. // Catalan translation, introductory study and notes on William James’s “The Will to Believe”. Published in James, William. “La voluntat de creure”. Quaderns de Filosofia, vol. III, n. 2 (2016), pp. 151–172. [Introductory study published in Oya, Alberto. “Introducció. El debat entre W. K. Clifford i William James”. Quaderns (...) de Filosofia, vol. III, n. 2 (2016), pp. 123–127]. (shrink)

In all probability, future generations will outnumber us by thousands or millions to one. In the aggregate, their interests therefore matter enormously, and anything we can do to steer the future of civilization onto a better trajectory is of tremendous moral importance. This is the guiding thought that defines the philosophy of longtermism. Political science tells us that the practices of most governments are at stark odds with longtermism. But the problems of political short-termism are neither necessary nor inevitable. In (...) principle, the state could serve as a powerful tool for positively shaping the long-term future. In this chapter, we make some suggestions about how to align government incentives with the interests of future generations. First, in Section II, we explain the root causes of political short-termism. Then, in Section III, we propose and defend four institutional reforms that we think would be promising ways to increase the time horizons of governments: 1) government research institutions and archivists; 2) posterity impact assessments; 3) futures assemblies; and 4) legislative houses for future generations. Section IV concludes with five additional reforms that are promising but require further research: to fully resolve the problem of political short-termism we must develop a comprehensive research program on effective longtermist political institutions. (shrink)

John Turri gives an example that he thinks refutes what he takes to be “G. E. Moore's view” that omissive assertions such as “It is raining but I do not believe that it is raining” are “inherently ‘absurd'”. This is that of Ellie, an eliminativist who makes such assertions. Turri thinks that these are perfectly reasonable and not even absurd. Nor does she seem irrational if the sincerity of her assertion requires her to believe its content. A commissive counterpart (...) of Ellie is Di, a dialetheist who asserts or believes that The Russell set includes itself but I believe that it is not the case that the Russell set includes itself. Since any adequate explanation of Moore's paradox must handle commissive assertions and beliefs as well as omissive ones, it must deal with Di as well as engage Ellie. I give such an explanation. I argue that neither Ellie's assertion nor her belief is irrational yet both are absurd. Likewise neither Di's assertion nor her belief is irrational yet in contrast neither is absurd. I conclude that not all Moore-paradoxical assertions or beliefs are irrational and that the syntax of Moore's examples is not sufficient for the absurdity found in them. (shrink)

Loneliness in medicine is a serious problem not just for patients, for whom illness is intrinsically isolating, but also for physicians in the contemporary condition of medicine. We explore this problem by investigating the ideal physician-patient relationship, whose analogy with friendship has held enduring normative appeal. Drawing from Talbot Brewer and Nir Ben-Moshe, we argue that this appeal lies in a dynamic form of companionship incompatible with static models of friendship-like physician-patient relationships: a mutual refinement of embodied virtue that draws (...) both persons together. The ideal physician-patient relationship has a dialectical character that fosters each member's improvement of phenomenologically recognizing and embodying moral virtues. A key component of this dynamic is a commitment to the common goal of the patient's health, realized through joint interactivities and conversations over time. The physician's presence to the patient's suffering—understood best as an alienating phenomenological condition for the patient—orients and discloses possibilities for virtuous caregiving by structuring the meanings of the goals, conversations, and joint narrative constitutive of their relationship. Presence to suffering, paradoxically, is perhaps an important prerequisite for this dynamic partnership. These activities dialectically build an interpretive horizon of understanding through which moral goods and character refinement—in and for the other—may become revealed for both persons in their shared being-in-the-world. This analysis of suffering, mood, and revealing of (possible) moral goods has implications for addressing the modern problem of loneliness for patients and physicians, who are increasingly inhibited from building flourishing relationships with each other. (shrink)

We present Backward Clock, an original counterexample to Robert Nozick’s truth-tracking analysis of propositional knowledge, which works differently from other putative counterexamples and avoids objections to which they are vulnerable. We then argue that four ways of analysing knowledge in terms of safety, including Duncan Pritchard’s, cannot withstand Backward Clock either.

Awarding rights to rivers, forests, and other environmental entities (EEs) is a new and increasingly popular approach to environmental protection. The distinctive feature of such rights of nature (RoN) legislation is that direct duties are owed to the EEs. This paper presents a novel rebuttal of the strongest argument against RoN: the no interest argument. The crux of this argument is that because EEs are not sentient, they cannot possess the kinds of interests necessary to ground direct duties. Therefore, they (...) cannot be legitimate rights-bearers. After considering and rejecting standard responses to this argument, the paper challenges its fundamental assumption: that rights-correlative duties must be grounded in the interests of the rights-bearer. The paper then presents the RoN critic with a dilemma. The critic must either accept that EEs are legitimate rights-bearers, or delegitimise many well-established rights-bearers along with EEs. Either way, the no interest argument loses its force. (shrink)

We discuss a research project that develops and applies algorithms for computational contextual vocabulary acquisition (CVA): learning the meaning of unknown words from context. We try to unify a disparate literature on the topic of CVA from psychology, first- and secondlanguage acquisition, and reading science, in order to help develop these algorithms: We use the knowledge gained from the computational CVA system to build an educational curriculum for enhancing students’ abilities to use CVA strategies in their reading of science texts (...) at the middle-school and college undergraduate levels. The knowledge gained from case studies of students using our CVA techniques feeds back into further development of our computational theory. Keywords: artificial intelligence, knowledge representation, reading, reasoning, science education, vocabulary acquisition. (shrink)

I critically examine the claim that modal collapse arguments against the traditional doctrine of divine simplicity (DDS) are in general fallacious. In a recent paper, Christopher Tomaszewski alleges that modal collapse arguments against DDS are invalid, owing to illicit substitutions of nonrigid singular terms into intensional contexts. I show that this is not, in general, the case. I show, further, that where existing modal collapse arguments are vulnerable to this charge the arguments can be repaired without any apparent dialectical impropriety. (...) I conclude that the genuine debate over modal collapse and divine simplicity and modal collapse is substantially a controversy over the metaphysics of divine action, and that this constitutes a fruitful direction in which to take future discussions of the subject. (shrink)

The consequence argument purports to show that determinism is true only if no one has free will. Judgments about whether the argument is sound depend on how one understands locutions of the form 'p and no one can render p false'. The main interpretation on offer appeals to counterfactual sufficiency: s can render p false just in case there is something s can do such that, were s to do it, p would be false; otherwise, s cannot render p false. (...) Here I show that, in the context of the consequence argument, this interpretation conflicts with widely endorsed principles governing the logic of counterfactuals. (shrink)

I offer a novel account of the absurdity of Moore-paradoxical assertion in terms of an interlocutor’s fully conscious beliefs. This account starts with an original argument for the principle that fully conscious belief collects over conjunction. The argument is premised on the synchronic unity of consciousness and the transparency of belief.

Neil Sinhababu and I presented Backward Clock, an original counterexample to Robert Nozick’s truth-tracking analysis of propositional knowledge. Fred Adams, John Barker and Murray Clarke argue that Backward Clock is no such counterexample. Their argument fails to nullify Backward Clock which also shows that other tracking analyses, such as Dretske’s and one that Adams et al. may well have in mind, are inadequate.

This paper details how ghost hunting, as a set of learning activities, can be used to enhance critical thinking and philosophy of science classes. We describe in some detail our own work with ghost hunting, and reflect on both intended and unintended consequences of this pedagogical choice. This choice was partly motivated by students’ lack of familiarity with science and philosophic questions about it. We offer reflections on our three different implementations of the ghost hunting activities. In addition, we discuss (...) the practical nuances of implementing these activities, as well the relation of ghost hunting to our course content, including informal fallacies and some models for scientific inference. We conclude that employing ghost hunting along-side traditional activities and content of critical thinking and philosophy of science offers a number of benefits, including being fun, increasing student attendance, enhancing student learning, and providing a platform for campus wide dialogues about philosophy. (shrink)

There has been a recent explosion of undergraduate philosophy conferences across the United States. In this paper, we explore undergraduate conferences along three lines. First, we argue that, as a well-designed learning activity, undergraduate conferences can serve to increase gender parity in philosophical spaces—a widely accepted and important goal for our discipline. Second, we argue that this increase in parity is due, at least in part, to the proper design of undergraduate conferences as High-Impact Practices. Our empirical work on our (...) own undergraduate conference demonstrates that properly designing the conference as a High-Impact learning activity does, as expected, benefit underserved student populations, including women. Additionally, the study also revealed unexpected opportunities to intervene on student learning. Third, we argue, also in line with our data, that undergraduate conferences occupy a previously taxonomically unrecognized grouping among recognized High-Impact Practices. (shrink)

Within much contemporary social ontology there is a particular methodology at work. This methodology takes as a starting point two or more asocial or atomic individuals. These individuals are taken to be perfectly functional agents, though outside of all social relations. Following this, combinations of these individuals are considered, to deduce what constitutes a social group. Here I will argue that theories which rely on this methodology are always circular, so long as they purport to describe the formation of all (...) social groups, as they must always presuppose a pre-existing collectivity. Such methodology also produces various distortions in our theories, such as voluntarism. I focus on the workings of Plural Subject Theory as laid out by Margaret Gilbert in On Social Facts. I show that the formation of a plural subject always requires communication, and that communication always requires a pre-existing collectivity. i examine the elements within Plural Subject Theory which protect gilbert from these accusations of circularity, and argue against them. I finalise by suggesting that what Plural Subject Theory, and social ontology in general, requires as a theoretical starting point is not atomic individuals and their combinations, but rather combinations of already socialised or embedded individuals. (shrink)

Nanotechnology, as with many technologies before it, places a strain on existing legislation and poses a challenge to all administrative agencies tasked with regulating technology-based products. It is easy to see how statutory schemes become outdated, as our ability to understand and affect the world progresses. In this article, we address the regulatory problems that nanotechnology posses for the Food and Drug Administration’s (FDA) classification structure for ‘‘drugs’’ and ‘‘devices.’’ The last major modification to these terms was in 1976, with (...) the enactment of the Medical Device Amendments. There are serious practical differences for a classification as a drug or device in terms of time to market and research. Drugs are classified, primarily, as acting by ‘‘chemical action.’’ We lay out some legal, philosophic, and scientific tools that serve to provide a useful, as well as legally and scientifically faithful, distinction between drugs and devices for the purpose of regulatory classification. These issues we raise are worth the consideration of anyone who is interested in the regulation of nano-products or other novel technologies. (shrink)

Placebo-trials on HIV-infected pregnant women in developing countries like Thailand and Uganda have provoked recent controversy. Such experiments aim to find a treatment that will cut the rate of vertical transmission more efficiently than existing treatments like zidovudine. This scenario is first stated as generally as possible, before three ethical principles found in the Belmont Report, itself a sharpening of the Helsinki Declaration, are stated. These three principles are the Principle of Utility, the Principle of Autonomy and the Principle of (...) Justice. These are taken as voices of moral imperative. But although each has intuitive appeal, it can be shown that there are possible scenarios in which they give conflicting prescriptions. To achieve consistency, one must be subordinate to the others. The voice of utility is taken as subordinate to those of justice and autonomy and it is shown that given plausible assumptions about the level of poverty and education in the developing country targeted, the experiment is ruled morally wrong in the name of both justice and autonomy. Moreover, it is argued that no justification can be found for the inclusion of a placebo group, when strictly defined. By contrast, a ‘no- treatment’ control arm might be justified, but only when the demands of autonomy are satisfied, demands that are more stringent than they might appear. A utilitarian defence of the experiment is examined, namely that the would-be participants are in a no-loss situation, and it is shown that this defence is seriously flawed. Finally, it is concluded that there is no justification for amending the Declaration of Helsinki. (shrink)

Chalmers and Hájek argue that on an epistemic reading of Ramsey’s test for the rational acceptability of conditionals, it is faulty. They claim that applying the test to each of a certain pair of conditionals requires one to think that one is omniscient or infallible, unless one forms irrational Moore-paradoxical beliefs. I show that this claim is false. The epistemic Ramsey test is indeed faulty. Applying it requires that one think of anyone as all-believing and if one is rational, to (...) think of anyone as infallible-if-rational. But this is not because of Moore-paradoxical beliefs. Rather it is because applying the test requires a certain supposition about conscious belief. It is important to understand the nature of this supposition. (shrink)

I give an account of the absurdity of Moorean beliefs of the omissive form(om) p and I don’t believe that p,and the commissive form(com) p and I believe that not-p,from which I extract a definition of Moorean absurdity. I then argue for an account of the absurdity of Moorean assertion. After neutralizing two objections to my whole account, I show that Roy Sorensen’s own account of the absurdity of his ‘iterated cases’(om1) p and I don’t believe that I believe that (...) p,and(com1) p and I believe that I believe that not-p,is unsatisfactory. I explain why it is less absurd to believe or assert (om1) or (com1) than to believe or assert (om) or (com) and show that despite appearances, subsequent iterations of (om1) or (com1) do not decrease the absurdity of believing or asserting them. (shrink)

We present a new puzzle about logical truth, necessity, and moral responsibility. We defend one solution to the puzzle. A corollary of our preferred solution is that prominent arguments for the incompatibility of determinism and moral responsibility are invalid.

I objected that the defeasibility theory of knowledge prohibits you from knowing that you know that p if your knowledge that p is a posteriori. Rodrigo Borges claims that Peter Klein has already satisfactorily answered a version of my objection. He attempts to defend Klein’s reply and argues that my objection fails because a principle on which it is based is false.I will show that my objection is not a version of the old one that Klein attempts (unsuccessfully) to address, (...) that Borges’ defence of Klein’s reply fails and that his argument against my new objection leaves it untouched. (shrink)

Recent theory suggests that action prediction relies of a motor emulation mechanism that works by mapping observed actions onto the observer action system so that predictions can be generated using that same predictive mechanisms that underlie action control. This suggests that action prediction may be more accurate when there is a more direct mapping between the stimulus and the observer. We tested this hypothesis by comparing prediction accuracy for two stimulus types. A mannequin stimulus which contained information about the effectors (...) used to produce the action and a point stimulus, which contained identical dynamic information but no effector information. Prediction was more accurate for the mannequin stimulus. However, this effect was dependent on the observer having previous experience performing the observed action. This suggests that experienced and na¨ıve observers might generate predictions in qualitatively difference ways, which may relate to the presence of an internal representation of the action laid down through action performance. (shrink)

Discerning the decisionmaking of Kim Jong-Un and the North Korean regime on issues of peaceful engagement and warlike actions endures as a mighty challenge for U.S. intelligence analysts and policymakers. In this report, we seek to inform analysis of Democratic People’s Republic of Korea (DPRK) leadership decisionmaking. To do so, we use three discussion papers that were written to facilitate discussion of an interagency working group. The three papers are assembled here in a single report. The first discussion paper describes (...) decisionmaking among different authoritarian regimes, including North Korea, and the opening up of those economies to outside engagement. The second paper outlines two different scenarios that might occur when conventional deterrence on the Korean Peninsula breaks down and the resulting decisions that North Korea’s leadership could face. The third paper assesses DPRK decisionmaking about nuclear weapon use. The report concludes with some observations, drawn from the issues covered in these three discussion papers, about DPRK decisionmaking and stability on the Korean Peninsula. (shrink)

Deliberate contextual vocabulary acquisition (CVA) is a reader’s ability to figure out a (not the) meaning for an unknown word from its “context”, without external sources of help such as dictionaries or people. The appropriate context for such CVA is the “belief-revised integration” of the reader’s prior knowledge with the reader’s “internalization” of the text. We discuss unwarranted assumptions behind some classic objections to CVA, and present and defend a computational theory of CVA that we have adapted to a new (...) classroom curriculum designed to help students use CVA to improve their reading comprehension. (shrink)

In this chapter, we compare Kant and James’ accounts of freedom. Despite both thinkers’ rejecting compatibilism for the sake of practical reason, there are two striking differences in their stances. The first concerns whether or not freedom requires the possibility of an open future. James holds that morality hinges on the real possibility that the future can be affected by our actions. Kant, on the other hand, seems to maintain that we can still be free in the crucial sense, even (...) if none of our actions can have any effect on the future. The second difference between them is related, and concerns the location of freedom. Kant views experience as determined by natural necessity, and locates freedom outside of it, in things-in-themselves. James, on the other hand, has a richer conception of experience than Kant, and holds that we can locate our freedom within experience alone. In the end, we contend that James has a better account of how freedom relates to our experience, but this comes at a cost. For while Kant's account struggles with the relationship between freedom and experience, it has the advantage of insulating our freedom from potential empirical challenges. (shrink)

Patrick Grim advances arguments meant to show that the doctrine of divine omniscience—the classical doctrine according to which God knows all truths—is false. In particular, we here have in mind to focus on two such arguments: the set theoretic argument and the semantic argument. These arguments due to Grim run parallel to, respectively, familiar paradoxes in set theory and naive truth theory. It is beyond the purview of this article to adjudicate whether or not these are successful arguments against the (...) classical doctrine of omniscience. What we are here interested in is a way in which these arguments can be generalized. In particular, we show how generalizations of those arguments can target, explicitly, alternatives to the classical doctrine of omniscience, including what we here call 'restricted omniscience' and 'open future open theism'. As a corollary, considerations of Grim-style arguments do not support these alternatives to the classical doctrine of omniscience over the classical doctrine. We conclude that what is paradoxical is not the classical doctrine of omniscience just as such; rather, what is paradoxical is a core commitment shared by the classical doctrine and its more modest alternatives, namely, the thesis that God is a perfectly logical reasoner. (shrink)

In 2002, Bernard Williams delivered a lecture that revisited the arguments of his article 'Ought and moral obligation', published in his Moral Luck. The lecture attributed to the earlier article the thesis that there are no ‘personal’ or (as I put it) ‘owned’ oughts. It also rejected this thesis. This paper explains the idea of an owned ought, and supports Williams’s lecture in asserting that there are owned oughts. It also examines the question of how accurately Williams’s (...) later lecture interprets his earlier article. (shrink)

The Repugnant Conclusion served an important purpose in catalyzing and inspiring the pioneering stage of population ethics research. We believe, however, that the Repugnant Conclusion now receives too much focus. Avoiding the Repugnant Conclusion should no longer be the central goal driving population ethics research, despite its importance to the fundamental accomplishments of the existing literature.

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

The sense of form that provides the modern poet with a unique experience of the literary object has been crucial to various attempts to compare poetry to other cultural activities. In maintaining similar conceptions of the relationship between poetry and painting, Arthur Rimbaud and W. C. Williams establish a common basis for interpreting their creative work. And yet their poetry is more crucially concerned with the sudden emergence of visible "worlds" containing verbal objects that integrate a new kind of (...) literary text. This paper discusses the emergence of "aesthetic worlds" in the work of both poets and then examines how a common concern with Baroque form unites them in the phenomenological task of overcoming Cartesian dualism. (shrink)